Retraction: Intelligent Stroke Subtyping Using Recursive Elimination (J. Phys.: Conf. Ser. 1916 012078)

نویسندگان

چکیده

This article (and all articles in the proceedings volume relating to same conference) has been retracted by IOP Publishing following an extensive investigation line with COPE guidelines. uncovered evidence of systematic manipulation publication process and considerable citation manipulation. respectfully requests that readers consider work within this potentially unreliable, as not through a credible peer review process. regrets our usual quality checks did identify these issues before publication, have since put additional measures place try prevent from reoccurring. wishes credit anonymous whistleblowers Problematic Paper Screener [1] for bringing some above attention, prompting us investigate further. Cabanac G, Labbé C Magazinov A 2021 arXiv: 2107.06751v1 Retraction published: 23 February 2022

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Recursive subtyping revealed

Algorithms for checking subtyping between recursive types lie at the core of many programming language implementations. But the fundamental theory of these algorithms and how they relate to simpler declarative speci cations is not widely understood, due in part to the di culty of the available introductions to the area. This tutorial paper o ers an \end-to-end" introduction to recursive types a...

متن کامل

Subtyping Recursive Games

Using methods drawn from Game Semantics, we build a sound and computationally adequate model of a simple calculus that includes both subtyping and recursive types. Our model solves recursive type equations up to equality, and is shown to validate a subtyping rule for recursive types proposed by Amadio and Cardelli.

متن کامل

Eecient Recursive Subtyping

Subtyping in the presence of recursive types for the calculus was studied by Amadio and Cardelli in In that paper they showed that the problem of deciding whether one recursive type is a subtype of another is decidable in exponential time In this paper we give an O n algorithm Our algorithm is based on a simpli cation of the de nition of the subtype relation which allows us to reduce the proble...

متن کامل

Conf . on Intelligent Robots and Systems ( IROS )

We are developing autonomous control systems for mission-critical domains that require hard real-time performance guarantees. To automatically build reac-tive plans that meet these requirements, we use formal veriication (model checking) techniques to assess the quality of plans as they are built. The veriica-tion process uses precise timed automaton models of the executive that will run the re...

متن کامل

Subtyping Recursive Types in Kernel Fun

The problem of defining and checking a subtype relation between recursive types was studied in [3] for a first order type system, but for second order systems, which combine subtyping and parametric polymorphism, only negative results are known [17]. This paper studies the problem of subtype checking for recursive types in system kernel Fun, a typed -calculus with subtyping and bounded second o...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Physics: Conference Series

سال: 2021

ISSN: ['1742-6588', '1742-6596']

DOI: https://doi.org/10.1088/1742-6596/1916/1/012318